1

Petri nets for proving some correctness properties of parallel programs

Year:
1977
Language:
english
File:
PDF, 588 KB
english, 1977
3

Petri Nets for Proving Some Correctness Properties of Parallel Programs

Year:
1977
Language:
english
File:
PDF, 1.31 MB
english, 1977